
with Rational_Numbers.Reduce;
with Rational_Numbers.Binary_Operators;

function Rational_Numbers.Reducing_Binary_Operator(X, Y : Rational) return Rational is
  
begin
   
   return Binary_Operator(X,Y);
   
exception
   when Constraint_Error
     =>
     
     return  Binary_Operator(Reduce(X),Reduce(Y));
     
      
end Rational_Numbers.Reducing_Binary_Operator;
